|
|
Computer science today : recent trends and developments / ed. Jan van Leeuwen
Monografia
Publication
Berlin : Springer-Verlag, cop. 1995
Description
XIII, 641 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Mathematical foundations of computer science 1990 / Proceedings of the 15th Symposium... ; ed. B. Rovan
Monografia
Publication
Berlin : Springer-Verlag, cop. 1990
Description
VIII, 544 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Mathematical foundations of computer science 1981 : proceedings / 10th Symposium... ; ed. J. Gruska, M. Chytil
Monografia
Publication
Berlin : Springer-Verlag, 1981
Description
XI, 589 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Mathematical foundations of computer science 1992 : proceedings / 17th International Symposium... ; ed. I. M. Havel, V. Koubek
Monografia
Publication
Berlin : Springer-Verlag, cop. 1992
Description
IX, 521 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Trends, techniques, and problems in theoretical computer science / 4th International Meeting of Young Computer Scientists ; ed. Alica Kelemenová, Jozef Kelemen
Monografia
Publication
Berlin : Springer-Verlag, 1987
Description
VI, 213 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Mathematical foundations of computer science 1984 : proceedings / 11th Symposium... ; ed. M. P. Chytil, V. Koubek
Monografia
Publication
Berlin : Springer-Verlag, 1984
Description
XI, 581 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Categorical methods in computer science : with aspects from topology / International Workshop... ; ed. H. Ehrig... [et al.]
Monografia
Publication
Berlin : Springer-Verlag, cop. 1989
Description
VI, 350 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
No copies available
Lost (1).
|
|
|
Computer science logic : selected papers / International Workshop... ; ed. Mogens Nielsen, Wolfgang Thomas
Monografia
Publication
Berlin : Springer, cop. 1998
Description
VIII, 509 p. :
il. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
Mathematical foundations of computer science / Proceedings of the 12th Symposium... ; ed. J. Gruska, B. Rovan, J. Wiederman
Monografia
Publication
Berlin : Springer-Verlag, cop. 1986
Description
IX, 650 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Matrix eigensystem routines : Eispack guide extension / B. S. Garbow ... [et al.]
Monografia
Publication
Berlin : Springer-Verlag, 1977
Description
VIII, 343 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Advances in petri-nets 1985 / ed. G. Rozenberg
Monografia
Publication
Berlin : Springer-Verlag, 1986
Description
498 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Advances in Petri Nets 1987 / ed. Grzegorz Rozenberg
Monografia
Publication
Berlin : Springer-Verlag, cop. 1987
Description
VI, 451 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Hybrid systems IV / ed. Panos Antsaklis... [et al.]
Monografia
Publication
Berlin : Springer, cop. 1997
Description
X, 404 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Mathematical foundations of computer science 1980 : proceedings / 9th Symposium... ; ed. P. Dembinski
Monografia
Publication
Berlin : , Springer-Verlag
Description
VIII, 723 p. :
il. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Mathematical foundations of computer science / Proceedings of Symposium... ; ed. A. Kreczmar, G. Mirkowska
Monografia
Publication
Berlin : Springer-Verlag, 1989
Description
VIII, 605 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
No copies available
Lost (1).
|
|
|
Mathematical foundations of computer science / Proceedings of the 13th Symposium... ; ed. M. P. Chytil, L. Janiga, V. Koubek
Monografia
Publication
Berlin : Springer-Verlag, 1988
Description
IX, 562 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
STACS 84 / Symposium of Theoretical Aspects of Computer Science ; ed. M. Fontet, K. Mehlhorn
Monografia
Publication
Berlin : Springer-Verlag, cop. 1984
Description
VI, 338 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
CSL'89 : proceedings / 3rd Workshop on Computer Science Logic ; ed. E. Borger, H. Kleine Buning, M. M. Richter
Monografia
Publication
Berlin : , Springer-Verlag
Description
VI, 437 p. :
il. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
STACS 89 / Proceedings of 6th Annual Symposium... ; ed. B. Monien, R. Cori
Monografia
Publication
Berlin : Springer-Verlag, 1989
Description
VIII, 543 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
STACS 93 : proceedings / 10th Annual Symposium... ; ed. P. Enjalbert, A. Finkel, K. W. Wagner
Monografia
Publication
Berlin : Springer-Verlag, cop. 1993
Description
XIV, 723 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|